Merge pull request #401 from mwarning/nodogsplash2
authorMoritz Warning <[email protected]>
Thu, 16 Aug 2018 13:51:26 +0000 (15:51 +0200)
committerGitHub <[email protected]>
Thu, 16 Aug 2018 13:51:26 +0000 (15:51 +0200)
nodogsplash2: update to 3.0 and merge packages


Trivial merge